Double-@ names a function, with lambda list (STRING):
Edit STRING to be safe in TeXInfo.
Escapes @, @{, and @} characters and adds a space after “/” characters.
Defined in file src/write-docs-2.lisp.